Variational Attribute Grammars for Computer Aided Design (release 3.0)

نویسنده

  • David McAllester
چکیده

This document describes a variational attribute grammar (VAG) design language and release 3.0 of the VAG implementation. VAG is a functional programming language speciically designed for the rapid implementation of domain speciic CAD systems. VAG is intended to support the implementations of CAD systems in such diverse areas as mechanical, electrical, and software design. The main feature of the VAG language is a constraint based reasoning mechanisms to support the CAD user in analyzing partial designs in a wide variety of domains. Release 3.0 provides a justiication mechanism | no such mechanisms were provided in earlier releases.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Variational Attribute Grammars for Computer Aided Design

This document describes a variational attribute grammar (VAG) design language. VAG is a functional programming language speciically designed for the rapid implementation of domain speciic CAD systems. VAG is intended to support the implementations of CAD systems in such diverse areas as mechanical, electrical, and software design. The main feature of the VAG language is a constraint based reaso...

متن کامل

Variational Design in Electrical Engineering - An Extension of Parametric Modeling

In the area of computer aided design for mechanical engineering (MCAD), one of the most important innovations of the last decade has been the introduction of parametric modeling. Now parametric modeling will be extended to the field of computer aided design for electrical engineering (ECAD). In this engineering domain the technology of variational design will release a tremendous potential of c...

متن کامل

Attribute Grammars

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this paper, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, etc. Our goal is to emphasize its role as a tool for design, formal specification and implementat...

متن کامل

Modeling Structure-Function Relationships in Synthetic DNA Sequences using Attribute Grammars

Recognizing that certain biological functions can be associated with specific DNA sequences has led various fields of biology to adopt the notion of the genetic part. This concept provides a finer level of granularity than the traditional notion of the gene. However, a method of formally relating how a set of parts relates to a function has not yet emerged. Synthetic biology both demands such a...

متن کامل

Fixture Design Automation and Optimization Techniques: Review and Future Trends

Fixture design is crucial part of manufacturing process. Fixture design is a critical design activity process, in which automation plays an integral role in linking computer-aided design (CAD) and computer-aided manufacturing (CAD). This paper presents a literature review in computer aided fixture design (CAFD) in terms of automation and optimization techniques over the past decades. First, the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994